Work years and personnel costs, Executive Branch, United States Government (U.S. Office of Personnel Management)