On an Approach to Solving the Time-Optimization Problem for Linear Discrete-Time Systems Based on Krotov Method