Genome assembly, a universal theoretical framework: unifying and generalizing the safe and complete algorithms.