SparkEC: speeding up alignment-based DNA error correction tools