The Making of Sweeney Todd at the San Francisco Symphony