BENCHMARK and benchmark_mutex added
docs updated