Optimal taxation in a stochastic growth model with public capital: Crowding-in effects and stabilization policy