Higher-level Kac-Moody string models and their phenomenological implications