Infeasibility analysis for linear systems, a survey