Marcus Brauchli Exits Washington Post as Editor, Martin Baron Steps In