Super Mario Bros. is NP-hard