is diverticulosis serious