Agglomeration and the export decisions of French firms