Gravar-mail: Nonasymptotic Upper Bounds on Binary Single Deletion Codes via Mixed Integer Linear Programming