typical weight of mine rock crusher