A time–frequency analysis perspective on Feynman path integrals