cpp dynamic-programming ethz high-performance-computing markov-decision-processes mdp mdpsolver mpi nanobind optimal-control optimization petsc policy-iteration python python3 solver stochastic-optimal-control stochastic-optimization