Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol