Progression of Situation Calculus Action Theories with Incomplete Information