A Discrete Event Calculus Implementation of the OCC Theory of Emotion