capture execution time in python