a type of magnesium supplement