A survival analysis-based choice set formation approach for single-destination choice using GPS travel data