Finite-key analysis of high-dimensional time–energy entanglement-based quantum key distribution