On optimal scheduling of residential energy management systems