Existence and Uniqueness of Non-Forking Extensions in Stable Theories