Código postal de San José la Portilla en Tecamachalco, Puebla, México