robin williams net worth at time of death