truncated Pareto distribution