GAO recommends how agencies could operate during government shutdown