type of coal used in sands manufacturing