A Lévy process-based framework for the fair valuation of participating life insurance contracts