Digraph characterization of structural controllability for linear descriptor systems