How tall is the average rock climbing wall.