how do restriction enzymes function