3rd International Verification of Neural Networks Competition (VNN-COMP'22)