¿Cómo fue descubierto el magnesio?