Washington Post lays off 20 newsroom employees