Ring closure in dioxin formation process: An ab initio molecular dynamics study