4ti2--A software package for algebraic, geometric and combinatorial problems on linear spaces