A Linear Process-Algebraic Format for Probabilistic Systems with Data