电解法制取金属镁