Sega announces a tiny Game Gear Micro launching in October