The flexibility-efficiency nexus in industrial heat electrification: Optimal operation of heat pump-storage systems under variable electricity price | Synapse