What are the typical energy savings of electric instant water heaters compared with stored electric water heaters?