In which region of Portugal did the Muslim population stay?