Milliken's Tree Theorem and Its Applications: A Computability-Theoretic Perspective