Feynman’s path-integral polaron treatment approached using time-ordered operator calculus