Diverticulitis and its surgical management.