How does the government pay its employees?