Phenotypic engineering of sperm-production rate confirms evolutionary predictions of sperm competition theory