Super Mario 3D All-Stars: Masterpieces of another time