What is the name of the musical that is based on the 2000 film with the music is by Elton John, stars the actor known for the 2016 film Spider-Man in the title role?