The Freezing Point Depression of Bull Semen and Its Relation to the Diluter Problem