process of turning coal into diamond