Precise Multi-Neuron Abstractions for Neural Network Certification