The Office of Personnel Management enacted a rule capping top-tier performance ratings at 40% of agency staff, with at least 60% of bonus compensation allocated to that group