how much money is mike tyson getting