BufferManager skeletons added, replacement selection attempt in ExternalSort