Contrast restoration for hazy video sequences