Environmental pollution from heavy metals in soil and stream near an abandoned mine in Korea