Computational tools for the reliability assessment and the engineering design of procedures and devices in bariatric surgery