现代电解炼铝的唯一方法统称为霍尔—埃鲁法，即（）。