Image dehazing algorithm based on optimized dark channel and haze-line priors of adaptive sky segmentation