Portable air negative oxygen ion detector, high-precision online monitoring of quality and environmental formaldehyde