A glimpse into the past and present activities of the coal survey of Geological Survey of India