Mathematical modeling supports fate restriction in neurogenic progenitors of the embryonic ventral spinal cord