Real root finding for equivariant semi-algebraic systems