712 Ancient Chinese used diamond tools thousands of years before previously thought by Ancient Code Team