David Mushet — Scottish metallurgist