what’s the difference between diverticulitis and diverticulosis