A semi-Markov process model for migration of marine shrimp