But mining remans the big investment industry