restriction enzyme definition