A Model to Forecast Civilian Personnel Inventory for the National Security Agency