How to board KTX when all tickets are sold out