A variational Framework for Single Image Dehazing