How does a DC to DC boost converter work? We have this tool at our construction site and I'm trying to figure out how to work with it in general. Any ideas?