world price for diamond mining equipments