Port city within a cliff with a magic mining academy on a plateau