type of coal used in stone manufacturing