The cost-effectiveness of different management strategies for patients on chronic warfarin therapy