Human-in-the-loop energy-efficient building HVAC control