Some recursively unsolvable problems relating to isolated cutpoints in probabilistic automata