Can magnesium be extracted from its dioxide?