EXECUTIVE EMPLOYMENT AGREEMENT (AMENDED AND RESTATED CHANGE OF CONTROL AGREEMENT)