Affine Abstraction of Nonlinear Systems with Applications to Active Model Discrimination