Exploiting multi-Channel diversity to speed up over-the-air programming of wireless sensor networks