Record number of migrants head for Europe