Open Category Detection with PAC Guarantees