How Much Disability Insurance Do Doctors Need?