US Attorney for DC Ronald Machen steps down after 5 years