Leram - Stochastic Modeling and Optimization: With Applications in Queues, Finance, and Supply Chains