Millions of Muslims left the empire and migrated to what places?