type 1 restriction enzymes examples