Direct and Distributed Strain Measurements Inside a Shotcrete Lining: Concept and Realisation