When was magnesium discovered