Prognostic score matching methods for estimating the average effect of a non-reversible binary time-dependent treatment on the survival function