Put benchmark results into PERFORMANCE.md