How much are public employees being paid?