open pit mine diamond ore crushers