Class Formations and Higher Dimensional Local Class Field Theory