tools used for artificial insemination in cattle