Models of the Jovian upper atmosphere