The neuronal ubiquitin-proteasome system: Murine models and their neurological phenotype