Código postal de San Miguel en Taxco de Alarcón, Guerrero, México