Thales to buy Exail for €3.9 billion in defense tech push