A Dynamics Theory of Implicit Regularization in Deep Low-Rank Matrix Factorization