Four things to learn from gender pay gap figures