An estimation of the European industrial heat pump market potential