India’s core infra industries’