Lane optimization on the Golden Gate Bridge