A 2-categorical state sum model