Código postal de La Laguna de Mazatepec en Tejupilco, México, México