Borel quasi-orderings in subsystems of second-order arithmetic