工业上可以用电解氢氧化镁冶炼金属镁吗?