Two workers for SEC’s EDGAR system charged with insider trading