A decidable characterization of locally testable tree languages (Logical Methods in Computer Science, 2011)