a person who mines for coal html