rename Benchmark --> Timer; rename module "benchmark" --> "timer"