In vivo models of platelet function and thrombosis: study of real-time thrombus formation.