Active Learning for Nonlinear System Identification with Guarantees