Theory of ferromagnetic semiconductors