On First-Order μ-Calculus over Situation Calculus Action Theories