restriction enzymes examples