A comparison of laparoscopic and open restorative proctocolectomy in children.