Exploiting Agents for Modelling and Simulation of Coverage Control Protocols in Large Sensor Networks