Risk of Stochastic Systems for Temporal Logic Specifications