Phase space Feynman path integrals via piecewise bicharacteristic paths and their semiclassical approximations (Exact WKB Analysis and Microlocal Analysis)