Iron carbide as a source of carbon for graphite and diamond formation under lithospheric mantle P-T parameters