Inference of dynamic systems from noisy and sparse data via manifold-constrained Gaussian processes