Depths at major atolls in the South China Sea from satellite altimetry and satellite imagery