Classifying Regular Polytopes in Dimension 4 and Beyond