Reasoning about Noisy Sensors and Effectors in the Situation Calculus