Gravar-mail: Algorithms for the restriction-site mapping of DNA molecules.