Milwaukee interchange bridges strengthened with double-box girders