Exploring explainable AI in the tax domain | Synapse