Optimal income taxation and migration