SMS: The history of PLAXIS