Text this: Coral reef detection using ICESat-2 and machine learning