Condition Factorization: A Technique for Building Fast and Compact Packet Matching Automata