2nd International Verification of Neural Networks Competition (VNN-COMP'21)