Some nonparametric precedence-type tests based on progressively censored samples and evaluation of power