Multi-step Problem Solving Through a Verifier: An Empirical Analysis on Model-induced Process Supervision