Certified Robust Models with Slack Control and Large Lipschitz Constants