Mestni vrh in Koča pri Jelenovem studencu