If AI doesn't replace workers, should workers that use software to be more productive pay more tax for using a smarter software?