Design and testing of electrochemical oxygen sensors for service in liquid lead alloys