Symmetric semi-algebraic sets and non-negativity of symmetric polynomials