Surgery for ulcerative colitis