Zaslat SMS: Improve Mathematical Reasoning in Language Models by Automated Process Supervision