BURST enables mathematically optimal short-read alignment for big data | Synapse