Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations