A Characterization of the Language Classes Learnable with Correction Queries