An introduction to atmospheric gravity waves