What is the surgical procedure of choice for ulcerative colitis that is refractory to medical therapy?