Hit-and-run algorithms for the identification of nonredundant linear inequalities