India’s gross domestic product