A short history of Physicians’ Disability Insurance