Reverse mathematics, well-quasi-orders, and Noetherian spaces