Deep-learning density functional theory Hamiltonian for efficient ab initio electronic-structure calculation