Federal retirement by the numbers