A rolling horizon approach for real-time trading and portfolio optimization of end-user flexibilities. (December 2020)