Structural Identifiability of Nonlinear Systems: Application to a Batch Reactor