Diverticulitis: Definitions and Pathophysiology