Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games