Nighttime Image-Dehazing: A Review and Quantitative Benchmarking