what is coal mining layman engish