Quantum numbers of heavy neutrinos, tri-bi-maximal mixing through double seesaw with permutation symmetry, and comment on $θ_{\rm sol}+θ_c\simeq \fracπ{4}$