Mouse models of platelet function in vivo