Generating mixed-level covering arrays of lambda = 2 and test prioritization