Revisiting Knuth's “Premature Optimization” Paper