How much do statins prolong life?