A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis