Simulation of Progressively Censored Order Statistics