Reproductive management of lactating dairy cows using synchronization of ovulation.