Das MAI-Tool als Untersuchungsinstrument von Lösungsprozessen beim mathematischen Modellieren