Hotline Miami in a nutshell