Distributed coverage control for mobile sensors with location-dependent sensing models