What is an executor?