Reasoning about Chemical Reactions using the Situation Calculus