US Congress votes to make Juneteenth, end of slavery, a holiday