Dual markov functionals: Applications of a useful auxiliary process