President Trump’s budget office lays out guidelines for mass federal lay-offs as the U.S. government grinds to a halt