Leram - A Set of Examples of Global and Discrete Optimization: Applications of Bayesian Heuristic Approach