An Abstraction-Refinement Approach to Verification of Artificial Neural Networks