PRIMA: general and precise neural network certification via scalable convex hull approximations