Back Analysis of a Tunnelling Case Study in Weak Rock of the Alpine System in Northern Greece: Validation and Optimization of Design Analysis Based on Ground Characterization and Numerical Simulation