Do demand-type water heaters actually save energy?