ann richards net worth at death​