Partial US government shutdown ends after Congress votes to fund DHS