Mathematical Theory of Single-cell Stochastic Gene Expression Dynamics