Inference to the Best Explanation as Supporting the Expansion of Mathematicians’ Ontological Commitments