Cincinnati Opera performs Roger Waters’ Another Brick in the Wall.