Situation Calculus for Synthesis of Manufacturing Controllers