hva er det høyeste fjellet i agder