what is a mine car used in mining