Local time and additive functionals Markov processes mathematics