miners can mine for coal