knuth premature optimization full quote