El Paso votes Oscar Leeser as new mayor