The development of a smartphone app to enhance post-traumatic stress disorder treatment in high-risk workers