Semiclassics and propagation of coherent states for spin-orbit coupling problems