Ultimate Shear Capacity and Residual Prestress Force of Full-Scale, Forty-One-Year-Old Prestressed-Concrete Girders