Technology, a third level course, materials processing: Mining (Milton Keynes, 1980)