Text this: Estimation of Internal Solitary Waves Propagation Speeds and Occurrence Using Long-Term Sentinel-1 SAR Data in the Lombok Strait, Indonesia