Surgical correction of lens dislocation in children.