Statistics for Deterioration of reinforced concrete in a marine environment : repair costs and maintenance strategies