Veteran English football manager Warnock retires