types of restriction enzymes examples