machine for mining ore mining machines