Growth in mining’s share of the WA economy