How many U.S. states share a border with Mexico?