What type of oil do Japanese restaurants use?