The Army wants to buy 40,000 ‘mixed reality’ goggles