bdf dsl jacobian mass-matrix ode ode-integrator ode-solver runge-kutta rust scientific-computing solver sparse-matrix