Magnesium–Air Batteries: Manufacturing, Processing, Performance, and Applications