Exact Certification of (Graph) Neural Networks Against Label Poisoning