Towards Intelligent Interactive Theatre: Drama Management as a way of Handling Performance