In loss models, which distribution is commonly used to model heavy-tailed claim severity due to its power-law tail?