Optimal Taxation in a Stochastic Endogenous Growth Model with Congestion