Leveraging on High-Performance Computing and Cloud Technologies in Digital Libraries: A Case Study