Anomalous NO2 emitting ship detection with TROPOMI satellite data and machine learning