How mixing during hot water draw-offs influence the thermal performance of small solar domestic hot water systems