Código postal de San Miguel la Máquina en Villa de Allende, México, México