Text this: Simulating domestic hot water demand by means of a stochastic end-use model