Tower of Hanoi in Music