Código postal de Bombatevi (Ejido Santa Cruz Bombatevi) en Atlacomulco, México, México