How much do deep sea welders make?