Court saves diamond giant De Beers millions after robotic submarine mishap