Studies of the copulatory behavior of house mice (Mus musculus)