Computational Science of Taxation