RADIAN GROUP INC.