DNAzymes at Work: A DFT Computational Investigation on the Mechanism of 9DB1