drivers in a coal mine .