RADIAN GROUP INC (RDN): financials from its own SEC filings