Diamond mining efficiency has reached its peak