petroleum dealers' margin