Why GNU grep is Fast