Deciding the value 1 problem for probabilistic leaktight automata (Logical Methods in Computer Science, 2015)