Opencast mining, quarrying and alluvial mining. Proceedings of a symposium organized by the Institution of mining and metallurgy, in co-operation with the Institution of mining engineers and the Institute of quarrying