Reasoning on BGP routing filters using tree automata