Semantics of Probabilistic Processes: An Operational Approach