Twitter hacked; 250,000 users must reset their passwords