CARNIVAL CORPORATION 2011 STOCK PLAN FORM OF EXECUTIVE RESTRICTED STOCK AGREEMENT