how is diverticulosis treated