O uso da inteligência artificial como meio de conferir eficiência às execuções fiscais na justiça federal