Semantic Segmentation of Underwater Imagery: Dataset and Benchmark (2020-04-02T00:00:00.000000Z)