sub-surface mining definition