Finding positively invariant sets and proving exponential stability of limit cycles using Sum-of-Squares decompositions