Analytical solutions of pattern formation for a class of discrete Aw-Rascle-Zhang traffic models