The Study of Optimal Financial Design of Universal Coverage of Health Insurance Through CGE Model Analysis in The Presence of Informality in Indonesia: Services, Membership, Premium, and Willingness to Pay