2010's notable tech industry deaths