Steve Halford Type II restriction enzymes: searching for one site and then two