Kart: a divide-and-conquer algorithm for NGS read alignment | Synapse