Imaging-Model-Based Visibility Recovery for Single Hazy Images