Is options trading informed? Evidence from credit rating change announcements