What is the available capital of the two main life insurers after implementing the risk-based capital system?