Surgery for ulcerative colitis.