Write a Python decorator to measure the execution time of a function.