Polynomial Proof Systems, Effective Derivations, And Their Applications In The Sum-Of-Squares Hierarchy