Where are the numbers defined that correspond to the different namespaces (2: User, 8: Mediawiki etc.)?