Text this: Buffer replacement using online optimization by mining /