Derivative Observations in Gaussian Process Models of Dynamic Systems