Automation of Tax Control: Prospects and Challenges | Synapse