Exactly solvable models for 2+1D topological phases derived from crossed modules of semisimple Hopf algebras