Microcanonical conditioning of Markov processes on time-additive observables