Twitter reaches agreement with whistleblower over $7 million payout