The Office of Personnel Management handles retirement paperwork for the entire federal government out of an old limestone mine in Pennsylvania. The process is set to be overhauled by Elon Musk’s Department of Government Efficiency. NBC News’ Garrett Haake got exclusive access inside.