On estimating parameters of a progressively censored lognormal distribution