Abstracting Situation Calculus Action Theories