The application of an extreme learning machine in the formalization requirement analysis for an information system