Nintendo’s mobile Mario game sets download record