which tool would you use to configure the paging file location and size on a windows system?