how to make diamonds in coal mines