A Birandom Chance-Constrained Linear Programming Model for CCHP System Operation Management: A Case Study of Hotel in Shanghai, China. (19th November 2020)