Theory of second-order mode locking in semiconductor lasers