The size of the gender pay gap over a working life