Semiclassical trace formulae for systems with non-Abelian symmetry