K-12 teachers' use of a spreadsheet for mathematical modeling and problem solving