Imaging magma reservoirs from space with altimetry-derived gravity data.