Are Dido and Aeneas and Rise and Fall of the City of Mahagonny both operas?