AutoDDL: Automatic Distributed Deep Learning with Asymptotically Optimal Communication