Large-scale, high-throughput screening for coagulation and hematologic phenotypes in mice.