What is the horizontal width of the main channel span of the Vicksburg Bridge Interstate 20 at mile 437.7 (AHP)?