hva er gjennomsnittlig høyde over havet i norge