A Comprehensive Survey and Taxonomy on Single Image Dehazing Based on Deep Learning