a video game featuring mario