what is the process of coal turning into a diamond