Pensacola must refund between $18M and $20M to gas customers, judge rules