Finite-Key Analysis for a Practical High-Dimensional Quantum Key Distribution System Based on Time-Phase States