High‐frequency radar observations of atmospheric gravity waves in the high‐latitude ionosphere