English National Opera, theatre