El Chorro, a rock climber's paradise