Restorative proctocolectomy