types of crushers used in oil sands