Microsoft introduces rStar-Math, an SLM for math reasoning and problem solving