A reproducible method to generate multi-building, multi-climate HVAC operation datasets with a stochastic exploratory controller | Synapse