Código postal de Barranca de Ixtapan en Tejupilco, México, México