Towards Theoretical Analysis And Empirical Improvement Of Certied Robust Training