Robin Williams dead; family, friends and fans are 'totally devastated'