Environmentally Sustainable HVAC Management in Smart Buildings Using a Reinforcement Learning Framework SACEM | Synapse