Text this: Mangrove extraction from super-resolution images generated by deep learning models