The Event Calculus in Classical Logic - Alternative Axiomatisations