Modeling Subtraction on a Number Line