How Gaming Helps with the Mental Health of Military Veterans