Model-Based Reasoning in Scientific Discovery