What is an executable file (EXE file)?