how many kids did mike tyson have