Simulation-guided DNAzyme based nanomachine design for identifying single nucleotide variants