Incomplete MaxSAT Approaches for Combinatorial Testing