How much of the Thuringian population are migrants?