Phase space path integral in curved space