Sweeney Todd: A Case Study of Theatrical Adaptation