Notable NFL referee announces his retirement