Modeling occupant behavior’s influence on the energy efficiency of solar domestic hot water systems