Use high resolution timer for benchmarking