Big-budget, single-player gaming isn’t dead (yet)