U.S. coal companies are facing some tricky math these days. Production levels have remained more or less the same since 2005, according to the Energy Information Agency (EIA), but during that time domestic consumption has dropped nearly 11 percent.