diverticulitis when to see doctor