what does mining stand for