Structure theorems for optimum hyperpaths in directed hypergraphs