Automata for DNA Splicing Languages with Two Restriction Enzymes