On the unknottedness of the fixed point set of differentiable circle group actions on spheres—P. A. Smith conjecture