Service dogs actually help veterans with PTSD, new study says