Growth of non-life insurance premiums in Indonesia