The myth that justices strategically retire