is diverticulitis serious