20201130 business.india-business: From mining to manufacturing; companies boost gender diversity