Automated Benchmark Model Generators for Model-Based Diagnostic Inference