Research on efficient operation for home energy management and its impacts on power system congestions