John Lane — British metallurgist