michael myers theme song name