Michael Crawford starred in the Phantom of the Opera