Describir: The ramified analytic hierarchy in second-order logic