Do I have to migrate the contacts one by one or is there a way to export to a file from google and import from the file in DecSync?