Three enhancements for optimization-based bound tightening