On the Modal μ-Calculus over Finite Symmetric Graphs