types of coal used in stone