Korovkin-type approximation theory and its applications