An approach to monitoring mangrove extents through time-series comparison of JERS-1 SAR and ALOS PALSAR data