Comparison of machine learning algorithms for concentration detection and prediction of formaldehyde based on electronic nose