Half-logistic distribution