Half a mile below earth's surface, miners extract rough diamonds, pure carbon substances that become precious gems when cut and polished; explore diamond mining history and technology from 4th century BC to modern South Africa.