Mastering Auditing Techniques for Complex Spreadsheets