Código postal de Xochicalco en Zacatelco, Tlaxcala, México