System reliability analysis of girders considering the spatial randomness of corrosion