Introduction to benchmarking and profiling