PRIMA: Precise and General Neural Network Certification via Multi-Neuron Convex Relaxations