Comparison and empirical validation of optimizing and agent-based models of the Italian electricity market