An optimal home energy management system for modulating heat pumps and photovoltaic systems (2020-09-04T00:00:00.000000Z)