Manifold-constrained Gaussian process inference
