Error Correction For Dna Sequencing Via Disk Based Index And Box Queries