AutoSpec: Automated Generation of Neural Network Specifications