Making Large CSVs Queryable via REST: A Case Study Using DBHub.io to Create a Serverless API for Aircraft Data