Robin Williams dead; friends 'devastated'