Signalized intersection queuing theory and central business district auto congestion