Prime Ideals Space Theory of BL-algebras