TheConvexRelaxationBarrier, Revisited: TightenedSingle-NeuronRelaxationsforNeural NetworkVerification