Text this: Tail product-limit process for truncated data with application to extreme value index estimation.