A Primer on Multi-Neuron Relaxation-based Adversarial Robustness Certification