The introduction of lifetime community rating in the Irish private health insurance market: Effects on coverage and plan choice. (June 2020)