The Democratic-controlled US House of Representatives has voted to restore funding for some federal agencies that have been shut down by a fight with President Donald Trump over border wall funding, as an estimated 800,000 government workers, from tax collectors to FBI agents, missed their first pay cheque.