Trump signs bill ensuring federal employees get paid after government shutdown