Machine Learning for Shipwreck Segmentation from Side Scan Sonar Imagery: Dataset and Benchmark