type 2 restriction enzymes examples