dorothy vaughan net worth