Leak halts production at major Libyan oil field