diverticulosis of the small intestine