What are demand-paging and pre-paging?