A Review of Time Discretization of Semi-linear Parabolic Problems