Finite line-transitive linear spaces: Theory and search strategies