Fewer mining companies have left the stock market than you might imagine