Aastra Technologies WaveStar encodes HD for NFL