O que é diverticulite e como tratar?