Computational Tools for the Reliability Assessment and the Engineering Design of Procedures and Devices in Bariatric Surgery