Instead of the mines running empty could you just leave the mines up (and leveled if the player choses) and the geologists just find more ore in it?
I.E. Settlers 7 I build the main building for a mine then the 3 huts that go with it are set as 2 miners 1 geo so when it runs out one guy is still working to find more.