Mixed Size-Biased Log-Normal Distribution with Truncated Normal Prior and Its Application in Insurance Ratemaking | Synapse