A general multi agent-based distributed framework for optimal control of building HVAC systems. (15th July 2022)