Optimal taxation rules for functioning-inputs