process of making diamonds from coal