A probabilistic model for the numerical solution of initial value problems