3+1 and 4+1 TQFTs via categorification and Khovanov homology