Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks