sex and diverticulitis