Refactoring meets spreadsheet formulas