Hundreds of federal workers process thousands of retirement applications every month, by hand in a converted former mine.