Código postal de Puerta del Sol en Tehuacán, Puebla, México