Genomic mapping by end-characterized random clones: a mathematical analysis