Surgical procedure for correcting globe dislocation in highly myopic strabismus.