Text this: Mathematical theory of Feynman path integrals