Código postal de Rancho San Miguel en San Andrés Cholula, Puebla, México