IRDAI proposes Public Insurance Registry for industry data sharing