Benchmarking kdb+ on Raspberry Pi