Foreign residents in Korea hit all-time high, account for over 5% of population