Lineage Specification of Hematopoietic Stem Cells: Mathematical Modeling and Biological Implications