Exact Inference for Continuous-Time Gaussian Process Dynamics