In which year was the first performance of the musical which features a character named Mr. Mistoffelees?