The Output Cost of Gender Discrimination: A Model-based Macroeconomics Estimate