The great majority of asphalt used commercially is obtained from petroleum. Besides pressure, what is required to form mud