Post electrical or lightning injury syndrome: a proposal for an American Psychiatric Association's Diagnostic and Statistical Manual formulation with implications for treatment