A highly efficient control framework for centralized residential charging coordination of large electric vehicle populations. (May 2020)