Julian Anderson's first full-scale opera, 'Thebans', impresses at the English National Opera