Top- K Algorithms for SimQL: A Decision Guidance Query Language Based on Stochastic Simulation