The mining industry and miners' struggles in India