The problem of free will and God’s sovereignty