What are the names of shops that do not have any devices in stock?
select shop_name from shop where shop_id not in (select shop_id from stock)