Código postal de Paso de San Juan en Tejupilco, México, México