XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles