Betting on Necessity: The Modal Ontological Argument