Using Certifying Constraint Solvers for Generating Step-wise Explanations