Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization