Tax Officer 2030: the exercise of discretion and artificial intelligence