Multi-channel Communications in Vehicular Ad hoc NETworks: A Survey