Mihael Tost: Nove tehnologije minimizuju negativan uticaj rudarstva, posebno kod podzemnih rudnika