how much money does mike tyson have