US House votes to end government shutdown over immigration operations