Biblioteca de l'Escola Tècnica Superior d'Enginyeria Industrial de Barcelona