Efficient Inference in Markov Control Problems