Agglomeration economies, search costs, and industrial location