What is the meaning of the name restriction length polymorphism and where does it come from