Modal Ontological Argument for the Existence of God