A computational approach to identify efficient RNA cleaving 10–23 DNAzymes