Quantitative Evaluations of Efficient Tax Policies for Lucas’ Supply Side Models