Ex-FBI agent gets 4 years in prison for leaking documents