Self-stabilizing Counting in Mobile Sensor Networks with a Base Station