Provision of Demand-Side Flexibility through the Integration of Power-to-Gas Technologies in an Electric Steel Mill