Why GNU grep is fast