The Labor Department just lost a battle with Google over its alleged gender pay gap