Efficient Large-scale Object Counting in Satellite Images with Importance Sampling