Why Germany's military is betting on gamers