The mechanical introduction of semen into the vagina of a female animal is termed