Constructions of local time for a Markov process