The Magician's Elephant — stage musical based on the 2009 children's novel