Title: Role of the geologist in modern coal mining, with special reference to the East Midlands coalfield of Britain