The Nostalgic Music of Super Mario - Composing Mario