A randomized protocol for node covering in heterogeneous wireless sensor networks