Calculating Positive Invariant Sets: A Quantifier Elimination Approach