Platelet adhesion receptors and their ligands in mouse models of thrombosis.