What type of oil is used in the thin oil sand making machine