Closing the loop: back analysis of sprayed concrete tunnel junctions