Page size in demand-paging systems