Optimal Redistributive Taxation with Both Labor Supply and Labor Demand Responses