Underwater image sharpening and color correction via dataset based on revised underwater image formation model (The Visual Computer)