Código postal de San Miguel en Armadillo de los Infante, San Luis Potosí, México