Task-Structured Probabilistic I/O Automata