Neural Network Verification with Branch-and-Bound for General Nonlinearities