Superimposed Codes and Designs for Group Testing Models