Código postal de San Juan en Villa de Allende, México, México