When I worked as a janitor way way way back in time we used sawdust that we vacuumed up. My brother who worked at resorts doing their commercial cleaning uses another method which I believe uses steam.
