Indústria mineira cresce mais que a média nacional