Smart Contracts Can Improve Taxation