∃ℝ-complete decision problems about symmetric nash equilibria in symmetric multi-player games