Elastic Use of Far Memory for In-Memory Database Management Systems