What’s playing and coming up at Royal Opera House.