Harrison worked on a spreadsheet to show market trends of various mobile devices. The size of the file has increased because Harrison used a lot of graphs and charts. Which file extension should he use so that the workbook takes less storage space?