Gravar-mail: An adjunctive human-animal interaction intervention for veterans with PTSD: study protocol for a randomized controlled trial