A review of remote sensing for mangrove forests: 1956–2018