Vets use medical marijuana for PTSD