Prevalence of colon diverticulosis in Europe.