Texas was annexed into the U.S. by how many votes?