Product-forms for Probabilistic Input/Output Automata