Time-discretization of soliton equations