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