The ArmA server for the Strategic Gaming Initiative