Europe’s arms imports nearly double, France overtakes Russia as world’s second-largest exporter