A survey of data envelopment analysis applications in the insurance industry 1993–2018 · Study