The work of Pentti Sammallahti