Brain circuit dysfunction in post-traumatic stress disorder: from mouse to man