Revisiting Polya's summation techniques using a spreadsheet: from addition tables to Bernoulli polynomials