Justice Thomas formally discloses donor-paid trips as watchdog says he's accepted $4M in gifts