Tool-assisted Spreadsheet Refactoring and Parsing Spreadsheet Formulas