Vertex and Arc Counts in Cartesian, Lexicographic and Strong Products of Digraphs