On Lattices of Formations of Finite Groups