CarbonKG: industrial carbon emission knowledge graph-based modeling and application for carbon traceability of complex manufacturing process | Synapse