An Epistemic Planning System Based on the Event Calculus