Transforming Situation Calculus Action Theories for Optimised Reasoning