Generation of Efficient Nested Loops from Polyhedra