A probabilistic hot water usage model and simulator for use in residential energy management | Synapse