Controllability on the infinite-dimensional group of orientation-preserving diffeomorphisms of the unit circle