Unique parallel decomposition in branching and weak bisimulation semantics