Semen collection from mice: electroejaculation.