Jimmy Johnson announces retirement after being part of Fox’s NFL coverage for 31 years