Computational Models of Spreadsheet Development: Basis for Educational Approaches