Android 5.0 Key Lime Pie purportedly spotted in benchmark result