COMET: Coverage-guided Model Generation For Deep Learning Library Testing