Problem Solving with Mental Models