WWE says ‘WresteMania XL’ was the highest-grossing event in company history