Provably Consistent Partial-Label Learning