ENERGY FUTURE HOLDINGS CORP. KEY EMPLOYEE FORM OF AMENDED AND RESTATED NON- QUALIFIED STOCK OPTION AGREEMENT [For Executive Officers]