The Lubin-Tate theory for formal power series fields with finite coefficient fields