Production of ultra low frequency magnetic noise by ocean surface gravity waves and its real time removal from airborne magnetometer measurements.