Design procedure for precast fibre-reinforced concrete segments in tunnel lining construction