when did phantom of the opera open in london