镁电解和粗镁精炼的基本原理