The radius of influence of mine drainage - definitions, methods of determination, and practical issues