Mining, construction capex to hit ₹10 trillion by 2030: Report