Advanced Activity-Aware Multi-Channel Operations with IEEE 1609 . 4 in VANETs for Vehicular Clouds