diamond mining during the th and th century