5th International Verification of Neural Networks Competition (VNN-COMP'24)