Mathematical Feynman path integrals and applications