Multiagent Knowledge and Belief Change in the Situation Calculus