Argatroban and bivalirudin compared to unfractionated heparin in preventing thrombus formation on mechanical heart valves