MAGI-X: Manifold-Constrained Gaussian Process Inference for Unknown System Dynamics