SeqMDD: efficient and exhaustive sequence mapping in color and nucleotide space exploiting symbolic data structures.