Catalytic polymerization of naphthalene by HF/BF3 super acid: an ab initio density functional theory study.