Trump’s federal buyout plan slowed by Cold War-era filing system buried in Pennsylvania mine