O que é diverticulite? Como é o tratamento?