You probably don’t think about pencils and erasers much in today’s world of digital and mobile access to everything. But despite our devotion to our devices, we still use billions of pencils every ...