Rethinking Video Rain Streak Removal: A New Synthesis Model and a Deraining Network with Video Rain Prior