average semen produced at ejaculation