Código postal de San Miguel Tianguizolco en Huejotzingo, Puebla, México